$f$$x$ : $v$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$f$ $\oplus$ $x$ : $v$